Looping Caterpillars
نویسندگان
چکیده
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis is given by a small addition to tree walk automata and the corresponding caterpillar expressions. These are evaluated on unranked finite sibling-ordered trees. At the expression level we add an operator whose meaning is intersection with the identity relation. This language can express every first-order definable relation and its expressive power is characterized by pebble tree walk automata that cannot inspect pebbles. We also define an expansion of the caterpillar expressions whose expressive power is characterized by ordinary pebble tree walk automata. Combining results from Bloem–Engelfriet and Gottlob–Koch, we also define an XPath like query language which is complete for all MSO definable binary relations.
منابع مشابه
Snakes and Caterpillars in Graceful Graphs
Graceful labelings use a prominent place among difference vertex labelings. In this work we present new families of graceful graphs all of them obtained applying a general substitution result. This substitution is applied here to replace some paths with some trees with a more complex structures. Two caterpillars with the same size are said to be textit{analogous} if thelarger stable sets, in bo...
متن کاملConstructing Graceful Graphs with Caterpillars
A graceful labeling of a graph G of size n is an injective assignment of integers from {0, 1,..., n} to the vertices of G, such that when each edge of G has assigned a weight, given by the absolute dierence of the labels of its end vertices, the set of weights is {1, 2,..., n}. If a graceful labeling f of a bipartite graph G assigns the smaller labels to one of the two stable sets of G, then f ...
متن کاملComputational Fluid Dynamics Study of a Complete Coal Direct Chemical Looping Sub-Pilot Unit
The present Computational Fluid Dynamics (CFD) work deals with the modeling of complete coal direct chemical looping sub-pilot unit which use coal as fuel and ferric oxide supported on alumina as an oxygen carrier. The 2D CFD model of the complete arrangement incorporating both fuel and air reactors and their inter-connecting parts was solved using FLUENT. The CFD model wa...
متن کاملOn the harmonic index and harmonic polynomial of Caterpillars with diameter four
The harmonic index H(G) , of a graph G is defined as the sum of weights 2/(deg(u)+deg(v)) of all edges in E(G), where deg (u) denotes the degree of a vertex u in V(G). In this paper we define the harmonic polynomial of G. We present explicit formula for the values of harmonic polynomial for several families of specific graphs and we find the lower and upper bound for harmonic index in Caterpill...
متن کاملEmbedding Ladders and Caterpillars into
We present embeddings of generalized ladders as subgraphs into the hypercube. By embedding caterpillars into ladders, we obtain embeddings of caterpillars into the hypercube. In this way we obtain almost all known results concerning the em-beddings of caterpillars into the hypercube. In addition we construct embeddings for some new types of caterpillars.
متن کاملThe impact of host aggressiveness on sex allocation by the gregarious parasitoid wasp Cotesia glomerata (L.).
Parasitoid wasps lay female eggs or a high proportion of female eggs in favourable host insects because female wasps require many more resources during their development. Many studies have tested the effects of host physiological status on the sex allocation of parasitoids, but few have attempted to test the effects of host behavioural traits. Cotesia glomerata is a gregarious parasitoid wasp t...
متن کامل